Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications
نویسندگان
چکیده
Dynamic Meta Modeling (DMM) is a visual semantics specification technique targeted at languages based on a metamodel. A DMM specification consists of a runtime metamodel and operational rules which describe how instances of the runtime metamodel change over time. A known deficiency of the DMM approach is that it does not support the refinement of a DMM specification, e.g., in the case of defining the semantics for a refined and extended domain-specific language (DSL). Up to now, DMM specifications could only be reused by adding or removing DMM rules. In this paper, we enhance DMM such that DMM rules can override other DMM rules, similar to a method being overridden in a subclass, and we show how rule overriding can be realized with the graph transformation tool GROOVE. We argue that rule overriding does not only have positive impact on reusability, but also improves the intuitive understandability of DMM semantics specifications. & 2010 Elsevier Ltd. All rights reserved.
منابع مشابه
A Practical Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications
Use case diagrams together with use case specifications are commonly used to specify system requirements. To reduce imprecision, ambiguity, and incompleteness in use case specifications, an approach with template and restriction rules is often recommended to achieve better understandability of use cases and improves the quality of derived analysis models. However, when crosscutting concerns are...
متن کاملCoverage Criteria for Testing DMM Specifications
Behavioral modeling languages are most useful if their behavior is specified formally such that it can e.g. be analyzed and executed automatically. Obviously, the quality of such behavior specifications is crucial. The rule-based semantics specification technique Dynamic Meta Modeling (DMM) honors this by using the approach of Test-driven Semantics Specification (TDSS), which makes sure that th...
متن کاملEnhancing the Understandability of OCL Specifications
OCL (Object Constraint Language) is the OMG standard language for the precise specification of constraints associated to MOF-compliant models and meta-models. Although OCL has been created with the intention to be a simpler language when compared to traditional formal specification languages, it is common to find specifications containing OCL constraints that are difficult to understand and evo...
متن کاملTherapeutic exercises can improve lower extremity functional indexes of people with dynamic knee valgus: A systematic review and meta-analysis
Purpose: One of the most significant contributors to lower extremity degeneration alterations and its effects on balance and sports performance is dynamic knee valgus faulty movement pattern. Different exercise interventions have been conducted to improve dynamic knee valgus. The extensive research and meta-objective analysis aimed to assess how exercise interventions affected people with dynam...
متن کاملLow latency IIR digital filter design by using metaheuristic optimization algorithms
Filters are particularly important class of LTI systems. Digital filters have great impact on modern signal processing due to their programmability, reusability, and capacity to reduce noise to a satisfactory level. From the past few decades, IIR digital filter design is an important research field. Design of an IIR digital filter with desired specifications leads to a no convex optimization pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Vis. Lang. Comput.
دوره 22 شماره
صفحات -
تاریخ انتشار 2011